An algebraic approach to Halls matching theorem
نویسنده
چکیده
The purpose of this note is to present a proof of Hall's matching theorem (also called marriage theorem) which I have not encountered elsewhere in literature-what yet does not mean that it is necessarily new. We refer to Hall's theorem in the following form: Theorem 1 (Hall). Let n be a positive integer. Let be a bipartite graph whose set of vertices consists of n blue vertices B 1 ; B 2 Some notations used in this theorem require explanations: A bipartite graph is a (simple, non-directed) graph with each vertex colored either green or blue such that every edge of the graph connects a blue vertex and a green vertex.
منابع مشابه
An algebraic approach to Halls matching theorem abridged version
The purpose of this note is to present a proof of Hall's matching theorem (also called marriage theorem) which I have not encountered elsewhere in literature-what yet does not mean that it is necessarily new. We refer to Hall's theorem in the following form: Theorem 1 (Hall). Let n be a positive integer. Let be a bipartite graph whose set of vertices consists of n blue vertices B 1 ; B 2 Some n...
متن کاملAlgebraic Matching of Vulnerabilities in a Low-Level Code
This paper explores the algebraic matching approach for detection of vulnerabilities in binary codes. The algebraic programming system is used for implementing this method. It is anticipated that models of vulnerabilities and programs to be verified are presented as behavior algebra and action language specifications. The methods of algebraic matching are based on rewriting rules and techniques...
متن کاملOn intermediate value theorem in ordered Banach spaces for noncompact and discontinuous mappings
In this paper, a vector version of the intermediate value theorem is established. The main theorem of this article can be considered as an improvement of the main results have been appeared in [textit{On fixed point theorems for monotone increasing vector valued mappings via scalarizing}, Positivity, 19 (2) (2015) 333-340] with containing the uniqueness, convergent of each iteration to the fixe...
متن کاملGENERALIZED PRINCIPAL IDEAL THEOREM FOR MODULES
The Generalized Principal Ideal Theorem is one of the cornerstones of dimension theory for Noetherian rings. For an R-module M, we identify certain submodules of M that play a role analogous to that of prime ideals in the ring R. Using this definition, we extend the Generalized Principal Ideal Theorem to modules.
متن کاملBirkhoff's Theorem from a geometric perspective: A simple example
From Hilbert's theorem of zeroes, and from Noether's ideal theory, Birkhoff derived certain algebraic concepts (as explained by Tholen) that have a dual significance in general toposes, similar to their role in the original examples of algebraic geometry. I will describe a simple example that illustrates some of the aspects of this relationship. The dualization from algebra to geometr...
متن کامل